how to prove space is banach space